Communicating Actor Automata -- Modelling Erlang Processes as Communicating Machines

Brand and Zafiropulo's notion of Communicating Finite-State Machines (CFSMs) provides a succinct and powerful model of message-passing concurrency, based around channels. However, a major variant of message-passing concurrency is not readily captured by CFSMs: the actor model. In this work, we define a variant of CFSMs, called Communicating Actor Automata, to capture the actor model of concurrency as provided by Erlang: with mailboxes, from which messages are received according to repeated application of pattern matching. Furthermore, this variant of CFSMs supports dynamic process topologies, capturing common programming idioms in the context of actor-based message-passing concurrency. This gives a new basis for modelling, specifying, and verifying Erlang programs. We also consider a class of CAAs that give rise to freedom from race conditions.Comment: In Proceedings PLACES 2023, arXiv:2304.0543

Opioid agonist maintenance treatment outcomes : the OPTIMUS international consensus towards evidence-based and patient-centred care, an interim report

Abstract: Non-medical opioid use is a major public health concern causing high mortality. While opioid agonist maintenance treatment (OMT) is a key life-saving intervention, there is (a) no international consensus on opioid treatment outcomes and (b) few opioid treatment outcome studies include key (public) health outcomes, such as overdose or HIV/hepatitis C. We report the rationale and study protocol for, and preliminary results of, an on-going international OMT outcomes consensus study that aims to address this double gap (n= 110 collaborating experts from 32 countries, plus a n = 477 Delphi evaluation panel from 26 of those countries: 58% male, 41% female; 47% OMT patients, 53% OMT professionals). We present a first draft of a patient interview guide (including a \u2018clinical form\u2019) to monitor OMT outcomes in six domains. The form appears to be well accepted and feasible in early testing. Through this, we aim to enhance the quality of and access to OMT and improve the survival, health, and quality of life of people who use opioids, while promoting nonstigmatising patient-physician relationships

Additional file 4 of Mapping age- and sex-specific HIV prevalence in adults in sub-Saharan Africa, 2000–2018

Additional file 4: Supplemental results.1. README. 2. Prevalence range across districts. 3. Prevalence range between sexes. 4. Prevalence range between ages. 5. Age-specific district ranges